Bitlayer BitVM Bridge 的关键用例演示

Bitlayer 即将迎来一个重要的里程碑——BitVM Bridge 主网的上线。本篇文章通过展示在 bitvmnet（一个专门为 BitVM 应用设计的测试网）上进行的两个关键演示用例，介绍了最新的进展。

背景

Bitlayer 的 BitVM Bridge 的演进

BitVM Bridge 是 BitVM 生态系统中的重要发展。该项目基于 Robin Linus 的开创性工作，BitVM 已成为信任最小化跨链解决方案的核心。Bitlayer 的 BitVM Bridge 实现直接继承了该项目的关键底层组件，这些组件由 BitVM 联盟 和更广泛的 BitVM 社区共同开发。

Bitlayer 的 BitVM Bridge 协议是 BitVM2 论文中桥协议的优化版本。这些优化专注于提升效率、可扩展性和安全性，使该协议特别适合高价值的跨链交易。

BitVM Bridge 的工作原理

以下是 BitVM Bridge 工作流程的简化概述，它允许用户在比特币网络上锁定比特币并在以太坊上铸造等值资产（如 Peg-BTC）。主要步骤包括：

1. Peg-in：用户将资金锁定在比特币网络上的 BitVM 智能合约中，触发在以太坊上铸造等值 Peg-BTC。
2. Peg-out：用户在以太坊上销毁 Peg-BTC，发起赎回锁定比特币的请求。
3. Broker 的角色：Broker 使用自己的流动性服务 Peg-out 请求，将比特币转移给 Peg-out 用户。
4. 报销过程：Broker 通过乐观报销流程从 BitVM 智能合约中报销前期垫付的资金。
5. 挑战机制：如果报销请求是欺诈性的，Watcher 可以提出挑战。作为一种惩罚措施，有效的挑战会导致 Broker 失去质押资金。
6. 最终确认：如果在预定义时间内没有有效的挑战出现，Broker 成功报销垫付的资金。

此工作流程确保了一个信任最小化的环境，其中 Broker 和 Watcher 在维护系统完整性方面发挥了至关重要的作用。有关详细的技术解析，请参阅我们的博客文章：Introducing BitVM Bridge。

演示用例

为了验证 BitVM Bridge 的稳健性，我们在 bitvmnet 上进行了两个演示。这两个用例展示了协议在处理欺诈行为和合法报销场景方面的能力，体现了其对恶意行为的抵御能力，同时确保了对诚实参与者的公平和透明结果。

1. 用例 1：INVALID-RECLAIM-CHALLENGED-REJECTED：Broker 未提供 Peg-out 流动性，却发起了无效的报销请求，试图从 BitVM 智能合约中窃取资金。一名 Watcher 成功挑战该报销请求，导致 Broker 不仅未能成功，还因欺诈行为失去了质押资金。
2. 用例 2：VALID-RECLAIM-SURVIVES-CHALLENGE：Broker 在完成 Peg-out 操作后发起了合法的报销请求。尽管有恶意的 Watcher 试图挑战该过程，Broker 通过协议的 unhappy path 成功拿回了报销金额及其质押资金。

以下部分将列出每个用例中的交易，读者可在 bitvmnet 的 mempool explorer 中查看。

用例 1：INVALID-RECLAIM-CHALLENGED-REJECTED

此用例展示了协议有效阻止 Broker 欺诈性报销尝试的能力。具体流程如下：

1. Peg-in：用户将资金存入比特币网络上的 BitVM 智能合约。(Pegin TX (Bitcoin))
2. 铸造：在以太坊上铸造等值的 Peg-BTC。(Mint TX (Ethereum))
3. 欺诈性报销：Broker 未服务任何 Peg-out 请求，却试图通过发起无效的报销请求窃取资金。(Kickoff TX)
4. 挑战：一名 Watcher 检测到欺诈行为并提交挑战交易，迫使 Broker 进入 unhappy path。(Challenge TX)
5. 揭示数据：Broker 被要求揭示所有 ZK verifier chunk 的中间数据。由于报销是无效的，其中一个 chunk 必然包含错误的执行数据。(PreAssert TX) (Assert TX)
6. 反驳：Watcher 在链下分析 chunk，识别错误 chunk 并在链上重放以否定 Broker 的报销请求。(Disprove TX)

结果：Broker 的报销请求被拒绝，并因欺诈行为失去质押资金。该用例强调了协议挑战机制在维护系统完整性方面的有效性。

用例 2：VALID-RECLAIM-SURVIVES-CHALLENGE

此用例展示了协议保护诚实 Broker 免受恶意和无理挑战的能力。具体流程如下：

1. Peg-in：用户将资金存入比特币网络上的 BitVM 智能合约。与用例 1 的交易相同 (Pegin TX (Bitcoin))
2. 铸造：在以太坊上铸造等值的 Peg-BTC。与用例 1 的交易相同 (Mint TX (Ethereum))
3. 销毁：用户在以太坊上销毁 Peg-BTC，以发起 Peg-out 请求。(Burn TX (Ethereum))
4. Peg-out：Broker 使用自己的流动性服务 Peg-out 请求，将比特币转移给 Peg-out 用户。(Pegout TX)
5. 报销过程：Broker 提交 Kickoff 交易以启动报销流程。(Kickoff TX)
6. 挑战：一名 Watcher 广播挑战交易，试图阻止 Broker 的报销过程。(Challenge TX)
7. 揭示数据：Broker 揭示所有 ZK verifier chunk 的中间数据。(PreAssert TX),(Assert TX)
8. 最终确认：由于 Broker 的值是正确的，恶意 Watcher 无法构造有效的 Disprove 交易。在经过一个预先定义的超时后，Broker 拿回了垫付资金及其质押资金。(UnhappyTake TX)

结果：Broker 成功报销资金，证明协议能够保护诚实参与者免受无理挑战，同时维护报销流程的完整性。